<html>
    <head><title>Welcome to Stan the Offline Dino's Homepage</title></head>
    <body>
        <script>
         // This page surfaces the contents of "stashed_title" to tests via
         // the page title. If the script was not executed, or if the script
         // failed to execute, then the title will be
         // "Welcome to Stan the Offline Dino's Homepage".
         document.title = stashed_title;
        </script>
    </body>
</html>
